E-QED: Electrical Bug Localization During Post-Silicon Validation Enabled by Quick Error Detection and Formal Methods

During post-silicon validation, manufactured integrated circuits are extensively tested in actual system environments to detect design bugs. Bug localization involves identification of a bug trace (a sequence of inputs that activates and detects the bug) and a hardware design block where the bug is located. Existing bug localization practices during post-silicon validation are mostly manual and ad hoc, and, hence, extremely expensive and time consuming. This is particularly true for subtle electrical bugs caused by unexpected interactions between a design and its electrical state. We present E-QED, a new approach that automatically localizes electrical bugs during post-silicon validation. Our results on the OpenSPARC T2, an open-source 500-million-transistor multicore chip design, demonstrate the effectiveness and practicality of E-QED: starting with a failed post-silicon test, in a few hours (9 hours on average) we can automatically narrow the location of the bug to (the fan-in logic cone of) a handful of candidate flip-flops (18 flip-flops on average for a design with ~ 1 Million flip-flops) and also obtain the corresponding bug trace. The area impact of E-QED is ~2.5%. In contrast, deter-mining this same information might take weeks (or even months) of mostly manual work using traditional approaches

The antidiabetic effects of a dry powder of dietary vegetable and fruit mixtures in diabetic db/db mice

We evaluated the antidiabetic effects of a mixed vegetable powder-formula I (MVP-FI), which is a dry powder mixture of over 65 kinds of vegetables and fruits, using the db/db type 2 diabetes mouse model. The db/db mice at 8-10 weeks of age were randomly divided into three groups: vehicle treatment, 1.575 g/kg MVP-FI treatment, and 3.15 g/kg MVP-FI treatment. During 12 days of treatment, we measured food intake and body weight changes, fasting blood glucose levels, and plasma lipid levels. Our results showed that the food intake and the body weight of MVP-FI-treated group were decreased gradually. Moreover, the fasting blood glucose level of the treated group was significantly dropped to a normal level comparable to that of the lean mice. Furthermore, we also found that the plasma triglyceride level in the treated group was dropped, whereas the high-density lipoprotein (HDL) level was increased and total cholesterol/HDL-cholesterol ratio was decreased. Taken together, these results suggest that the diabetic conditions of the db/db mice have been improved after 12 days treatment with MVP-FI. The antihyperglycemic and antiobese activities of the MVP-FI, as demonstrated in the present study, may have important clinical implications for improving the management of type 2 diabetic patients. © 2008 Yeung et al, publisher and licensee Dove Medical Press Ltd.published_or_final_versio

Seasonal and interannual variability in wind field and commercial catch rates of austroglossus pectoralis (soleidae)

The impact of deviations in the direction and strength of the wind field on the spatial, seasonal and interannual variability in catch rates of Agulhas sole Austroglossus pectoralis was investigated. Temporal variabilityin the wind cycle on the Agulhas Bank during the period 1981–1996 was deduced mainly from trends in the pressure gradient, measured from south of Cape Agulhas (35°S) to the region of westwind drift (40°S).Because interannual deviations in the catch rates differed between seasons, catch rates were assessed by season. Coastal catch rates of Agulhas sole between Cape Agulhas and Cape Infanta were high in autumn and winter, when offshore north-westerly winds prevailed, and low in spring and late summer, when onshore south-easterly winds dominated. There was often a secondary peak in catch rates in November–December,coincident with a midsummer change in the pressure gradient. Between the period 1982 and 1996, catch rates in autumn and early winter (April–July) were highest during years when the winter north-westerly winds were strongest (r2 = 0.62, p < 0.01). Catch rates usually peaked in May–June. This pattern changed in some years, depending on the timing and rate of change to winter wind conditions. Seasonal and interannual fluctuations in catch rate are associated with deviations in the wind field, but the  mechanism whereby this  effect is mediated remains unknown

Recommendations for a core outcome set for measuring standing balance in adult populations: a consensus-based approach

Standing balance is imperative for mobility and avoiding falls. Use of an excessive number of standing balance measures has limited the synthesis of balance intervention data and hampered consistent clinical practice.To develop recommendations for a core outcome set (COS) of standing balance measures for research and practice among adults.A combination of scoping reviews, literature appraisal, anonymous voting and face-to-face meetings with fourteen invited experts from a range of disciplines with international recognition in balance measurement and falls prevention. Consensus was sought over three rounds using pre-established criteria.The scoping review identified 56 existing standing balance measures validated in adult populations with evidence of use in the past five years, and these were considered for inclusion in the COS.Fifteen measures were excluded after the first round of scoring and a further 36 after round two. Five measures were considered in round three. Two measures reached consensus for recommendation, and the expert panel recommended that at a minimum, either the Berg Balance Scale or Mini Balance Evaluation Systems Test be used when measuring standing balance in adult populations.Inclusion of two measures in the COS may increase the feasibility of potential uptake, but poses challenges for data synthesis. Adoption of the standing balance COS does not constitute a comprehensive balance assessment for any population, and users should include additional validated measures as appropriate.The absence of a gold standard for measuring standing balance has contributed to the proliferation of outcome measures. These recommendations represent an important first step towards greater standardization in the assessment and measurement of this critical skill and will inform clinical research and practice internationally

Potential conservation of circadian clock proteins in the phylum Nematoda as revealed by bioinformatic searches

Although several circadian rhythms have been described in C. elegans, its molecular clock remains elusive. In this work we employed a novel bioinformatic approach, applying probabilistic methodologies, to search for circadian clock proteins of several of the best studied circadian model organisms of different taxa (Mus musculus, Drosophila melanogaster, Neurospora crassa, Arabidopsis thaliana and Synechoccocus elongatus) in the proteomes of C. elegans and other members of the phylum Nematoda. With this approach we found that the Nematoda contain proteins most related to the core and accessory proteins of the insect and mammalian clocks, which provide new insights into the nematode clock and the evolution of the circadian system.Fil: Romanowski, Andrés. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Bioquímicas de Buenos Aires. Fundación Instituto Leloir. Instituto de Investigaciones Bioquímicas de Buenos Aires; Argentina. Universidad Nacional de Quilmes. Departamento de Ciencia y Tecnología. Laboratorio de Cronobiología; ArgentinaFil: Garavaglia, Matías Javier. Universidad Nacional de Quilmes. Departamento de Ciencia y Tecnología. Laboratorio de Ing.genética y Biolog.molecular y Celular. Area Virus de Insectos; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Goya, María Eugenia. Universidad Nacional de Quilmes. Departamento de Ciencia y Tecnología. Laboratorio de Cronobiología; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Ghiringhelli, Pablo Daniel. Universidad Nacional de Quilmes. Departamento de Ciencia y Tecnología. Laboratorio de Ing.genética y Biolog.molecular y Celular. Area Virus de Insectos; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Golombek, Diego Andres. Universidad Nacional de Quilmes. Departamento de Ciencia y Tecnología. Laboratorio de Cronobiología; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentin

Abrogated expression of DEC1 during oesophageal squamous cell carcinoma progression is age- and family history-related and significantly associated with lymph node metastasis

BACKGROUND: Oesophageal squamous cell carcinoma (SCC) causes the highest number of cancer deaths in some regions of Northern China. Previously, we narrowed down a critical region at 9q33-34, identified to be associated with tumour-suppressive function of deleted in oesophageal cancer 1 (DEC1) in oesophageal SCC. METHODS: We generated DEC1 antibody and constructed tissue microarrays (TMAs) utilising tissue specimens from Henan, a high-risk region for oesophageal SCC, to investigate the importance of DEC1 expression in this cancer. RESULTS: Tissue microarray immunohistochemical staining reveals significant loss of DEC1 from hyperplasia, to tumour, and to lymph node metastasis. In addition, the loss of DEC1 in tumour is age-dependent. Interestingly, there is significant abrogation of DEC1 expression in patients with a family history of oesophageal SCC. Deleted in oesophageal cancer 1 localises to both the cytoplasm and nucleus. The vesicular pattern of DEC1 in the cytoplasm appears to localise at the Golgi and Golgi-endoplasmic reticulum intermediate compartment. CONCLUSION: This is the first TMA study to suggest a clinical association of DEC1 in lymph node metastatic oesophageal SCC, early onset oesophageal SCC and familial oesophageal SCC development. Subcellular localisation of DEC1 and its expression in oesophageal SCC tissues provide important insight for further deciphering the molecular mechanism of DEC1 in oesophageal SCC development. British Journal of Cancer (2011) 104, 841-849. doi:10.1038/bjc.2011.25 www.bjcancer.com Published online 15 February 2011 (C) 2011 Cancer Research U

Analysis of isoflavones and flavonoids in human urine by UHPLC

A rapid, ultra high-performance liquid chromatographic (UHPLC) method has been developed and validated for simultaneous identification and analysis of the isoflavones genistein, daidzein, glycitin, puerarin, and biochanin A, and the flavonoids (±)-catechin, (−)-epicatechin, rutin, hesperidin, neohesperidin, quercitrin, and hesperetin in human urine. Urine samples were incubated with β-glucuronidase/sulfatase. UHPLC was performed with a Hypersil Gold (50 × 2.1 mm, 1.9 μm) analytical column. Elution was with a gradient prepared from aqueous trifluoroacetic acid (0.05%) and acetonitrile. UV detection was performed at 254 and 280 nm. The calibration curves were indicative of good linearity (r2 ≥ 0.9992) in the range of interest for each analyte. LODs ranged between 15.4 and 107.0 ng mL−1 and 3.9 and 20.4 ng mL−1 for flavonoids and isoflavones, respectively. Intra-day and inter-day precision (C.V., %) was less than 3.9% and 3.8%, respectively, and accuracy was between 0.03% and 5.0%. Recovery was 70.35–96.58%. The method is very rapid, simple, and reliable, and suitable for pharmacokinetic analysis. It can be routinely used for simultaneous determination of these five isoflavones and seven flavonoids in human urine. The method can also be applied to studies after administration of pharmaceutical preparations containing isoflavones and flavonoids to humans